📚 Proof Pedagogy

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·7h
🔲Cellular Automata
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
A Poet Completes the Square
denisegaskins.com·22h
⚔️Lean Tactics
‘Controlled chaos’: how to create an environment that fosters genius
nature.com·17m
📐Mathematical Art
Proof by Intimidation
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Proof Tactics
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Tricking our brains to learn and remember; is all learning incidental?
news.northeastern.edu·6h·
Discuss: Hacker News
🤖Grammar Induction
Porting a Cross-Disciplinary Text Mining Course Online Using Innovative Engagement Techniques
hackernoon.com·1d
🤖Grammar Induction
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Some History Notes on Casting Out Nines, and an extension you probably never heard of.
pballew.blogspot.com·5h·
Discuss: www.blogger.com
🎯Arithmetic Coding
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·12h
🔓Password Cracking
How to reason from first principles
caseyhandmer.wordpress.com·16h·
Discuss: Hacker News
🎯Proof Tactics
Turing, Wagner, Ruth
blog.computationalcomplexity.org·17h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·15h
⚔️Lean Tactics
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Quick guide to heuristic & bot programming contests
gmays.com·17h
⚡Proof Automation
2011 N1 = 2024 A2
blog.evanchen.cc·18h
🔬Lean
Some Recommended Reading
slott56.github.io·20h
🧮Datalog
Dual numbers
funcall.blogspot.com·18h·
Discuss: www.blogger.com
📐Interval Arithmetic
Students, here are 5 key things to know when learning how to train large language models
techradar.com·1d
💻Local LLMs